募捐 9月15日2024 – 10月1日2024 关于筹款
1
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
年:
2009
语言:
english
文件:
PDF, 6.22 MB
0 / 0
english, 2009
2
Test digitaler Schaltkreise

Test digitaler Schaltkreise

Stephan Eggersglüß, Görschwin Fey, Ilia Polian
年:
2014
语言:
german
文件:
PDF, 1.21 MB
0 / 0
german, 2014
3
Test digitaler Schaltkreise

Test digitaler Schaltkreise

Stephan Eggersglüß, Görschwin Fey, Ilia Polian
年:
2014
语言:
german
文件:
EPUB, 3.31 MB
0 / 0
german, 2014
4
Debug Automation from Pre-Silicon to Post-Silicon

Debug Automation from Pre-Silicon to Post-Silicon

Mehdi Dehbashi, Görschwin Fey (auth.)
年:
2015
语言:
english
文件:
PDF, 4.38 MB
0 / 0
english, 2015
5
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
年:
2005
语言:
english
文件:
PDF, 3.46 MB
0 / 0
english, 2005
6
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler
年:
2008
语言:
english
文件:
PDF, 769 KB
0 / 0
english, 2008
7
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Gorschwin Fey, Rolf Drechsler,
年:
2005
语言:
english
文件:
PDF, 3.62 MB
0 / 0
english, 2005
8
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
年:
2005
语言:
english
文件:
PDF, 3.96 MB
0 / 0
english, 2005
9
Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
年:
2009
语言:
english
文件:
PDF, 4.80 MB
0 / 0
english, 2009